| 1. Identificação | |
| Tipo de Referência | Artigo em Evento (Conference Proceedings) |
| Site | mtc-m16.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Repositório | sid.inpe.br/marciana/2004/04.07.08.35 |
| Última Atualização | 2004:04.12.03.00.00 (UTC) administrator |
| Repositório de Metadados | sid.inpe.br/marciana/2004/04.07.08.35.50 |
| Última Atualização dos Metadados | 2021:02.11.21.05.04 (UTC) administrator |
| Chave Secundária | INPE-10238-PRE/5756 |
| Chave de Citação | AmbrosioMattMart:2003:TeToSo |
| Título | ATIFS: A testing toolset with software fault injection.  |
| Ano | 2003 |
| Data de Acesso | 07 maio 2024 |
| Tipo Secundário | PRE CI |
| Número de Arquivos | 1 |
| Tamanho | 595 KiB |
| 2. Contextualização | |
| Autor | 1 Ambrosio, Ana Maria 2 Mattiello-Francisco, Maria de Fátima 3 Martins, Eliane |
| Identificador de Curriculo | 1 8JMKD3MGP5W/3C9JGH7 |
| Grupo | 1 DSS-INPE-MCT-BR |
| Afiliação | 1 Unicamp, Campinas - SP (Institute of Camputing) |
| Nome do Evento | Proceedings of york Computer Science Yellow Report 2003 - Workshop SofTest: UK Testing Research, 2. |
| Localização do Evento | York, UK |
| Data | 2003 |
| Editora (Publisher) | INPE |
| Páginas | 17 |
| Título do Livro | Proceedings |
| Histórico (UTC) | 2021-02-11 21:05:04 :: administrator -> marciana :: 2003 |
| 3. Conteúdo e estrutura | |
| É a matriz ou uma cópia? | é a matriz |
| Estágio do Conteúdo | concluido |
| Transferível | 1 |
| Palavras-Chave | test automation conformance test fault injection formal methods |
| Resumo | This paper describes the ATIFS, a testing toolset which supports the activities of black-box tests for reactive systems, especially communication systems. In ATIFS, two types of testing are carried out: conformance testing and software fault injection. These testing types allow one to answer such questions about the system under test as: "does the system perform what is specified?", as well as "for how long does the system perform what is specified?" and "how does the system behave in the presence of faults in its environment?". This toolset was conceived and implemented aiming at providing a user with facilities for the activities of test case derivation, test execution and test result analysis. The general requirements that guided the ATIFS development, its architecture and an overview of the already implemented tools are focused on in this paper. The main tools were successfully used in the conformance tests of a real space application: telemetry reception software for real time communication with a balloon experiment developed at INPE. The test process using the ATIFS toolset in a space application as a case study was an important experience to deal with the constraints imposed by both the application test requirements and the tool prototypes. |
| Área | ETES |
| Arranjo | urlib.net > Fonds > Produção anterior à 2021 > DIDSS > ATIFS: A testing... |
| Conteúdo da Pasta doc | acessar |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| 4. Condições de acesso e uso | |
| URL dos dados | http://urlib.net/ibi/sid.inpe.br/marciana/2004/04.07.08.35 |
| URL dos dados zipados | http://urlib.net/zip/sid.inpe.br/marciana/2004/04.07.08.35 |
| Idioma | en |
| Arquivo Alvo | ATIFS.pdf |
| Grupo de Usuários | administrator |
| Visibilidade | shown |
| Detentor da Cópia | SID/SCD |
| 5. Fontes relacionadas | |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/446B2HE |
| Lista de Itens Citando | sid.inpe.br/bibdigital/2021/02.11.21.02 3 sid.inpe.br/mtc-m21/2012/07.13.14.39.50 1 |
| Acervo Hospedeiro | sid.inpe.br/banon/2003/08.15.17.40 |
| 6. Notas | |
| Campos Vazios | archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel dissemination documentstage doi e-mailaddress edition editor electronicmailaddress format identifier isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress readergroup readpermission rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume |
| 7. Controle da descrição | |
| e-Mail (login) | marciana |
| atualizar | |